2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)
Jean-Yves Girard
,
Yves Lafont
,
Paul Taylor
925 Kb
#2
Proofs and Types
Jean-Yves Girard
,
Yves Lafont
,
Paul Taylor
Категория:
Математика
,
Алгебра
,
Математическая логика
1.37 Mb
#3
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Jean-Yves Girard
,
Yves Lafont
,
Laurent Regnier
3.36 Mb
#4
Advances in linear logic
Jean-Yves Girard
,
Yves Lafont
,
Laurent Regnier
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.38 Mb